HYPERIDEALS IN M-POLYSYMMETRICAL HYPERRINGS

An M-polysymmetrical hyperring $(R,+,cdot )$ is an algebraic system, where $(R,+)$ is an M-polysymmetrical hypergroup, $(R,cdot )$ is a semigroup and $cdot$ is bilaterally distributive over $+$. In this paper, we introduce the concept of hyperideals of an M-polysymmetrical hyperring and by using this concept, we construct an ordinary quotient ring. Finally, the fundamental theorem of homomorphism is derived in the context of M-polysymmetrical hyperrings.